An application of LLP supervisory control with Petri net models in mobile robots
نویسندگان
چکیده
This paper is concerned with high level control of robot systems. We abstract the robot system as a discrete event system and give a high level controller which consists of an LLP supervisor and a Petri nets model. We give its simple application to a mobile robot system.
منابع مشابه
LLP Supervisory Control with Timed Petri Net Models in Mobile Robots
This paper is concerned with high level control of robot systems. We abstract the robot system as timed Petri net and give a high level controller which consists of an LLP supervisor. We give its simple application to a mobile robot system.
متن کاملMotion Planning for Humanoid Robots Using Timed Petri Net and Modular State Net
In this paper, we propose a supervisory control system for motion planning of humanoid robots. The proposed system is hierarchically structured into two levels. The lower level controls and monitors the robots using modular state nets. The upper level generates an optimal sequence of motion for user’s requirements using timed Petri nets. Keywords— humanoid robot, modular state net, timed Petri ...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملPetri Net Based Supervisory Control of Flexible Batch Plants
The application of supervisory control concepts in the control of batch process plants is investigated in the paper. Supervisory control issues in flexible batch plants include co-ordination, resource allocation and process management. The paper utilises the Petri net based supervisory control framework to develop appropriate solutions. A straightforward approach of translating developed Petri ...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000